Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI

Source URL: web.cs.wpi.edu

• Theoretical computer science
• Logic
• Mathematical logic
• Formal methods
• Logic in computer science
• Boolean algebra
• Hardware verification languages
• Model checking
• Temporal logic
• Formal verification
• Propositional calculus
• E

Scale of Norms, Unpublished ms., Kelty, p. 1 The Scale of Norms: Free Software and the theories of Gift Exchange1 Christopher Kelty (Rice University)

Source URL: kelty.org

• Software licenses
• Culture
• Computing
• Science and technology
• Free software
• Economic anthropology
• Computer law
• Anarchist communism
• Gift economy
• Cargo cult
• Free and open-source software
• Eric S. Raymond

J O A N N E B R O W N Joanne’s research is focussed upon the analysis of nineteenth- and early twentieth-century academic accounts of classical Athenian women, and the effect on this discussion of the discoveries in Kn

Source URL: www2.open.ac.uk

• Theatre
• Classics
• Royal Holloway
• University of London
• Sophocles
• 1st millennium BC
• Entertainment
• Culture

The University of New Mexico Board of Regents’ Finance and Facilities Committee Thursday, August 5, 2010, 9:00 a.m. Scholes Hall, Roberts Room Open Meeting AGENDA

Source URL: regents.unm.edu

• Parliamentary procedure
• New Mexico
• Professional studies
• Business
• Meetings
• Agenda
• Anderson School of Management
• University of New Mexico
• Chairman
• Board of directors

A Pre-Programming Introduction to Algorithmics Judith Gal-Ezer1 The Open University of Israel,

Source URL: www.openu.ac.il

• Software engineering
• Computer programming
• Algorithms
• Software development
• Mathematical logic
• Theoretical computer science
• Formal methods
• Pseudocode
• Programming language
• Refinement
• Outline of computer programming
• Edsger W. Dijkstra

CU MOOC Copyright Guidelines University of Colorado (CU) students, faculty and staff engaged with Massive Open Online Courses (MOOCs) will necessarily wish to use, share and comment on information resources within the co

Source URL: www.uccs.edu

• Copyright law
• Law
• Intellectual property law
• Education
• United States copyright law
• Copyright law of the United States
• Copyright
• Public domain
• Massive open online course
• Fair use
• Creative Commons
• Free content

NEW VOICES IN CLASSICAL RECEPTION STUDIES IssueR E C E N T T H E AT R I C AL A N D M U S I C A L A D A P T A T I O N S O F AP U LEI US´ MET A MO R PH OSE S © Hendrik Müller-Reineke, University of Göttingen

Source URL: www2.open.ac.uk

Eleanor OKell, Durham University The Anglo-American ‘Tobacco Wars’ New Voices in Classical Reception Studies Issue)

Source URL: www2.open.ac.uk

• Smoking
• Tobacco
• Human behavior
• Cigarettes
• Tobacco companies
• Habits
• American Tobacco Company
• Tobacco advertising
• British American Tobacco
• Electronic cigarette
• Tobacco industry
• Allen & Ginter

DATA ARCHIVING AND SHARING Gökhan Pekcan University of Nevada, Reno NEESR-GC: Simulation of the Seismic Performance of Nonstructural Systems

Source URL: www.nees-nonstructural.org

• Data management
• Computing
• Knowledge
• Academic publishing
• Information
• Open access
• Records management
• Knowledge representation
• Institutional repository
• Network for Earthquake Engineering Simulation
• Data management plan
• Kepler scientific workflow system

Cognitive-based Visualization of Semantically Structured Cultural Heritage Data Kalliopi Kontiza, Antonis Bikakis, Rob Miller Department of Information Studies, University College London, UK {k.kontiza.12,a.bikakis,rsm}@

Source URL: sunsite.informatik.rwth-aachen.de

• Computing
• Semantic Web
• Information science
• Knowledge representation
• Open data
• Web services
• Knowledge engineering
• GNU social
• Linked data
• Resource Description Framework
• DBpedia
• Bio2RDF